Fun with type functions

著者

2010/5/3

大まかな流れ

Abstract

1 Introduction

2 Associated types: indexing types by types

3 Optimised container representations

4 Typed sprintf and sscanf

5 Fun with phantom types

6 Related work and reflections

Acknowlegdments

References

Appendices

A The Rules

B Pitfalls

C Sprintf revisited

Abstract

特に何も言っていない

1 Introduction

軽量である、簡易に検査ができる、適当に欺くことはできないなど

しかし、雑魚い型システムは、良いプログラムを拒否し、悪いプログラムを許容してしまうこともある

型システムの設計者はコレを防ぎたい

type familyはその一環

2 Associated types: indexing types by types

3 Optimised container representations

4 Typed sprintf and sscanf

5 Fun with phantom types

6 Related work and reflections

Acknowlegdments